16

A formal data-model of the CORBA security service

Year:
2001
Language:
english
File:
PDF, 75 KB
english, 2001
31

Preface

Year:
2005
Language:
english
File:
PDF, 58 KB
english, 2005
32

Preface

Year:
2005
Language:
english
File:
PDF, 69 KB
english, 2005
35

Automated Security Protocol Analysis With the AVISPA Tool

Year:
2006
Language:
english
File:
PDF, 623 KB
english, 2006
36

A History of Until

Year:
2010
Language:
english
File:
PDF, 340 KB
english, 2010
39

Preface

Year:
2006
Language:
english
File:
PDF, 104 KB
english, 2006
40

On the semantics of Alice&Bob specifications of security protocols

Year:
2006
Language:
english
File:
PDF, 548 KB
english, 2006
47

Preface

Year:
2008
Language:
english
File:
PDF, 51 KB
english, 2008
50

Object-Oriented Modelling of Flexible Beams

Year:
2006
Language:
english
File:
PDF, 754 KB
english, 2006